SAT hacks